induktive Definition

induktive Definition
induktive Definition,
 
in der mathematischen Logik die Definition eines Prädikats (Eigenschaft) P durch Angabe besimmter Objekte, für die P zutrifft, und durch Angabe bestimmter Operationen, die bei Anwendung auf Objekte, für die das Prädikat P zutrifft, nicht aus dem Bereich des Prädikats P hinausführen; z. B. die induktive Definition der Eigenschaft »ist ein Term«: (1) Alle Variablen x, y, z, . .. sind Terme. (2) Sind s und t Terme, so auch s + t und s · t. (3) Alle Terme sind mittels (1) und (2) erzeugbar.

Universal-Lexikon. 2012.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Induktive Dimension — Bei der kleinen und großen induktiven Dimension handelt es sich um zwei im mathematischen Teilgebiet der Topologie betrachtete Dimensionsbegriffe. Diese Begriffe verwenden keinerlei algebraische Konstruktionen zur Festlegung einer Dimension, wie… …   Deutsch Wikipedia

  • Definition — Eine Definition (lateinisch definitio = Abgrenzung aus de = ab/weg und finis = Grenze) ist je nach der Definitionslehre, der hierbei gefolgt wird, entweder 1. eine Bestimmung des Wesens einer zu erklärenden Sache oder 2. eines Begriffs oder… …   Deutsch Wikipedia

  • Induktive Menge — Als induktive Mengen werden in der Mathematik Mengen M bezeichnet, die die leere Menge enthalten und wo für jede Menge x auch deren Nachfolgemenge enthalten ist. Das Unendlichkeitsaxiom besagt, dass es eine induktive Menge gibt.… …   Deutsch Wikipedia

  • Induktive Bauelemente — Die Induktivität (auch Eigeninduktivität oder Selbstinduktion) ist eine elektrische Eigenschaft eines stromdurchflossenen elektrischen Leiters aufgrund des Magnetfeldes, das ihn durch den Stromfluss umgibt. Sie ergibt sich aus dem Verhältnis des… …   Deutsch Wikipedia

  • Definition — Begriffserklärung; Begriffsbestimmung; Bestimmung; Erklärung; Spezifizierung; Abgrenzung; Eingrenzung; Begriffsklärung * * * De|fi|ni|ti|on [defini ts̮i̯o:n], die; , en: Bestimmung, Erklärung eines Begriffes …   Universal-Lexikon

  • Vollständige Induktion — ist eine mathematische Beweismethode, nach der eine Aussage für alle natürlichen Zahlen bewiesen wird. Da es sich um unendlich viele Zahlen handelt, kann solch ein Beweis nicht für alle Einzelfälle durchgeführt werden. Er wird daher in zwei… …   Deutsch Wikipedia

  • Begriffsbestimmung — Eine Definition (lateinisch Definitio = Abgrenzung aus de = ab/weg und finis = Grenze) ist eine möglichst eindeutige Bestimmung eines Begriffes, des „Definiendum“ (lateinisch „das zu Definierende“). Dazu wird für ein bestimmtes Zeichen eine… …   Deutsch Wikipedia

  • Definiendum — Eine Definition (lateinisch Definitio = Abgrenzung aus de = ab/weg und finis = Grenze) ist eine möglichst eindeutige Bestimmung eines Begriffes, des „Definiendum“ (lateinisch „das zu Definierende“). Dazu wird für ein bestimmtes Zeichen eine… …   Deutsch Wikipedia

  • Definiens — Eine Definition (lateinisch Definitio = Abgrenzung aus de = ab/weg und finis = Grenze) ist eine möglichst eindeutige Bestimmung eines Begriffes, des „Definiendum“ (lateinisch „das zu Definierende“). Dazu wird für ein bestimmtes Zeichen eine… …   Deutsch Wikipedia

  • Definieren — Eine Definition (lateinisch Definitio = Abgrenzung aus de = ab/weg und finis = Grenze) ist eine möglichst eindeutige Bestimmung eines Begriffes, des „Definiendum“ (lateinisch „das zu Definierende“). Dazu wird für ein bestimmtes Zeichen eine… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”